%define mk64 0x2000000+
